Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
151	Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-03-24 09:48:00 Modal logic Non-classical logic Proof theory Logic in computer science Philosophical logic Admissible rule Sequent Normal modal logic Intermediate logic Kripke semantics Intuitionistic logic General frame
152	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-16 06:09:39 Computational complexity theory Proof of knowledge NP IP Soundness PP Certificate XTR Zero-knowledge proof ZPP
153	PDF Document Add to Reading List Source URL: roboticsschool.ini.rub.de Language: English - Date: 2012-05-10 11:23:13 Nuclear magnetic resonance Relaxation Proof theory
154	Scheme-based Definition and Conjecture Synthesis for Inductive Theories Omar Montano, Roy McCasland, Lucas Dixon, Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburg Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:19:03 Artificial intelligence Automated theorem proving Alan Bundy Automated reasoning Theorem Theory Informatics Mathematics Mathematical proof Scheme
155	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.org Language: English - Date: 2016-07-29 01:16:07 Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar Automated proof checking Quantifier
156	Strategy-proof assignment of multiple resources Add to Reading List Source URL: erlanson.weebly.com Language: English - Date: 2016-05-25 05:22:11 Game theory Mechanism design Fair division Social choice theory Pareto efficiency Monotonicity Resource allocation
157	Interactive proofs April 12, L´ aszl´ o Babai. Trading group theory for randomness. In Proc. 17th STOC, pages 421–429. ACM Press, 1985. doi:22192. Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-12 05:40:19 Lance Fortnow Probabilistic complexity theory BPP Probabilistically checkable proof Carsten Lund Computational complexity theory
158	Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proof Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Proof theory Lambda calculus Logic in computer science Deductive reasoning Natural deduction Combinatory logic
159	How Many Levels Do Players Reason? An Observational Challenge and Solution∗ Adam Brandenburger† Alex Danieli‡, Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2016-01-06 13:57:41 Riemann surfaces Proof theory
160	Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012 Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Automated theorem proving Logic in computer science Proof assistants Logic for Computable Functions E theorem prover HOL Robin Milner Interactive Theorem Proving Type theory

UPDATE